Distillatore rapido per mercurio
نویسندگان
چکیده
منابع مشابه
Rapido: Reasoning and Programming
3 Scientific context, positioning and objectives 3 3.1 Introductory examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3.2 Context of the proposal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3.2.1 The Curry-Howard approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3.2.2 Infinite objects in programming and logic . . . . . ...
متن کاملMERCURIO - A secure platform for electronic commerce∗
Mercurio aims at the provision of an environment for the creation of secure e-commerce services. This is motivated by the observation that pure WWW technology (as we see it at the moment) is not sufficient to realise a big variety of services provided over the Internet. The main goal is to allow the operators of e-commerce service centers and the simple vendor to develop, deploy, operate, and m...
متن کاملEvent Recognition Strategies applied in the Mercurio Project
Mercurio is a project currently investigated at Politecnico di Milano whose aim is to support the decision-making process of financial investors. Mercurio identifies relevant events both from financial news articles and financial indexes and uses sequential pattern mining to predict exceptional events given their past occurrences and relationships with other events. The process of event recogni...
متن کاملRapido: A Sketching Tool for Web API Designers
Well-designed Web APIs must provide high levels of usability and must “get it right” on the first release. One strategy for accomplishing this feat is to identify usability issues early in the design process before a public release. Sketching is a useful way of improving the user experience early in the design phase. Designers can create many sketches and learn from them. The Rapido tool is des...
متن کاملRAPIDO Testing of Assisted Write and Read operations for SRAMs
Lowering the supply voltage of Static Random-Access Memories (SRAM) is key to reduce power consumption, however since this badly affects the circuit performances, it might lead to various forms of loss of functionality. In this work, we present silicon results showing significant yield improvement, achieved with write and read assist techniques on a 6T highdensity bitcell manufactured in 40 nm ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Il Nuovo Cimento Series 5
سال: 1908
ISSN: 0029-6341,1827-6121
DOI: 10.1007/bf02712259